$\forall$$T$:Type, $l$:($T$ List), $x$, $y$:$T$. no\_repeats($T$;$l$) $\Rightarrow$ $x$ before $y$ $\in$ $l$ $\Rightarrow$ ($\neg$$y$ before $x$ $\in$ $l$)